Mitral valve annuloplasty